| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16b.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Repositório | sid.inpe.br/mtc-m17@80/2007/11.30.16.22 |
| Última Atualização | 2008:01.03.10.47.14 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/mtc-m17@80/2007/11.30.16.22.59 |
| Última Atualização dos Metadados | 2021:02.11.21.05.56 (UTC) administrator |
| Chave Secundária | INPE-15078-PRE/9987 |
| Chave de Citação | AmbrosioMattSantMart:2007:DeFaIn |
| Título | Designing fault injection experiments using state-based model to test a space software  |
| Ano | 2007 |
| Data Secundária | 20071128 |
| Data de Acesso | 06 maio 2024 |
| Tipo Secundário | PRE CI |
| Número de Arquivos | 17 |
| Tamanho | 477 KiB |
| 2. Contextualização | |
| Autor | 1 Ambrosio, Ana Maria 2 Mattiello-Francisco, Fátima 3 Santiago Júnior, Valdivino A 4 Martins, Eliane |
| Identificador de Curriculo | 1 8JMKD3MGP5W/3C9JGH7 |
| Grupo | 1 DSS-INPE-MCT-BR 2 DSS-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Endereço de e-Mail do Autor | 1 ana@dss.inpe.br 2 fatima@dss.inpe.br |
| Editor | Bondavali, A Brasileiro, F. Rajsbaum, S. |
| Nome do Evento | Latin-American Symposium on Dependable Computing (LADC), 3 |
| Localização do Evento | Morelia, México |
| Data | Sep. 26-28, 2007 |
| Editora (Publisher) | Springer |
| Cidade da Editora | Berlin |
| Páginas | 170-178 |
| Título do Livro | Proceedings |
| Histórico (UTC) | 2008-01-03 11:08:41 :: marciana -> banon :: 2008-01-03 11:10:21 :: banon -> marciana :: 2008-02-07 13:16:31 :: marciana -> administrator :: 2008-06-29 15:04:13 :: administrator -> marciana :: 2008-08-07 13:45:54 :: marciana -> administrator :: 2021-02-11 21:05:56 :: administrator -> marciana :: 2007 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Tipo do Conteúdo | External Contribution |
| Palavras-Chave | LADC Deterministic fault injection Software testing method Statebased |
| Resumo | Software for space applications requires significant testing. This paper presents an evaluation of the CoFI testing methodology as applied to actual space software, where deterministic fault cases derived from state-based models were executed using the software-implemented fault injection technique. Different models were used to represent the behavior of embedded software in a real satellite computer under the presence of both normal inputs and external faults in communication, processor, and memory. CoFI methodology was used for model construction, the Condado tool for test derivation, and the QSEE-TAS tool for test execution. In total, 8,620% of 471 fault cases detected errors in the software; this is a very large number, and more so considering that the software had already been tested by the company which developed it before being subject the CoFI methodology. |
| Área | ETES |
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > Designing fault injection... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://mtc-m16b.sid.inpe.br/ibi/sid.inpe.br/mtc-m17@80/2007/11.30.16.22 |
| URL dos dados zipados | http://mtc-m16b.sid.inpe.br/zip/sid.inpe.br/mtc-m17@80/2007/11.30.16.22 |
| Idioma | en |
| Arquivo Alvo | paginadeacesso.html |
| Grupo de Usuários | administrator administrator marciana |
| Visibilidade | shown |
| Detentor da Cópia | SID/SCD |
| Permissão de Leitura | allow from all |
| 5. Fontes relacionadas | |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE |
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 |
| Acervo Hospedeiro | lcp.inpe.br/ignes/2004/02.12.18.39 cptec.inpe.br/walmeida/2003/04.25.17.12 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition format identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | marciana |
| atualizar | |